(23.0-x2)
